Hoxd9<tm1Mrc> http://identifiers.org/mgd/MGI:3525581 Null/knockout targeted mutation 1, Mario Capecchi MGI:3525581